翻訳と辞書 Words near each other ・ Blast fishing ・ Blast from the Past ・ Blast from the Past (album) ・ Blast from the Past (film) ・ Blast from the Past (novel) ・ Blast from the Past (Veronica Mars) ・ Blast from Your Past ・ Blast furnace ・ Blast Furnace and the Heatwaves ・ Blast Furnace Blues Festival ・ Blast furnace gas ・ Blast gate ・ Blast injury ・ Blast Lacrosse ・ Blast Lärmen, ihr Feinde, BWV 205a ・ BLAST model checker ・ Blast Monkeys ・ BLAST network ・ Blast of Silence ・ Blast of Silence (Axed My Baby for a Nickel) ・ Blast of Storm ・ Blast of Tempest ・ Blast Off ・ Blast Off (1989 video game) ・ Blast Off (David Guetta and Kaz James song) ・ Blast Off (Transformers) ・ Blast Off at Woomera ・ Blast Off Tour ・ Blast Off! (The Blue Hearts album) ・ Blast pen Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク BLAST model checker ： ウィキペディア英語版 BLAST model checker The Berkeley Lazy Abstraction Software Verification Tool (BLAST) is a software model checking tool for C programs. The task addressed by BLAST is the need to check whether software satisfies the behavioral requirements of its associated interfaces. BLAST employs counterexample-driven automatic abstraction refinement to construct an abstract model that is then model-checked for safety properties. The abstraction is constructed on the fly, and only to the requested precision. ==Achievements== BLAST came first in the category DeviceDrivers64 in the 1st Competition on Software Verification (2012) that was held at TACAS 2012 in Tallinn. BLAST came third (category DeviceDrivers64) in the 2nd Competition on Software Verification (2013) that was held at TACAS 2013 in Rome. BLAST came first in the category DeviceDrivers64 in the 3rd Competition on Software Verification (2014) that was held at TACAS 2014 in Grenoble. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「BLAST model checker」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.